- 双语例句 更多例句
该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术,并给出了应用实例。
互联网摘选
- 相关词组
- well-formed formulas合式公式
- goal well-formed formula目标合适公式
- well-formed program构造良好的程序
- sequent geosyncline后继地槽
- well-formed formulan.合适公式
- 今日热词
- 热门搜索
- create account 创建帐户;创建账户;创建账号;创建帐号;建立帐号
- lean v.倾斜;倚靠;斜靠;adj.瘦的,脂肪少的;贫乏的;精干的;
- JIZZ n.<俚>精力;力量;<粗>精液;元气;极智;精液;射惹
- perfection n.完美;完善;最后加工;圆满;
- refresh v.(使)恢复精力;给(蓄电池)充电;提醒,提示;〈计〉刷新;吃点心,喝饮料;(使)振作精神;使感到凉爽;使记起;补充给养,贮入补给品;再斟满;使变得新鲜;使得到补充;(添加燃料)使(火)旺烧;更新技能、知识;(用油漆等)将……装饰一新;使(脱水蔬菜等)吸水返鲜;〈烹〉(焯过的蔬菜)浸入冷水保鲜,把(食物)放在冷水里冰镇或保鲜n.〈计〉刷新(网页)
- passage n.通道,走廊;段落;流逝;通过;旅程;通行许可;
- uppermost adj.最高的;至上的;最重要的;adv.最高地,最重要地;
- skillfully adv.巧妙地,精巧地;
- blenders n.搅拌机;(电动)食物搅拌器;掺和器blender的名词复数
- propose v.提议;打算;提名;求婚;
- critic n.批评家;反对者;
- foresee vt.预知,预见;有先见之明;